How to change the file extension to Windows 10